[ÄÄÇ»ÅÍ] Verified Functional Programming in Agda
Stump, Aaron ÀúIMorgan & ClaypoolI2016.02.01
79,800¿ø
71,820¿ø(10%¡å)
2,160P (3%)